None
Execution time: 29.050500631332397 seconds
Satisfiabilty: True
Complexity Bound: 2
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'B')]}, {'condition_action_pairs': [('a', 'D')]}]
Execution time: 0.027482271194458008 seconds
Satisfiabilty: True
Complexity Bound: 2
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'A')]}, {'condition_action_pairs': [('a', 'C')]}]
Execution time: 0.05791831016540527 seconds
Satisfiabilty: True
Complexity Bound: 4
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'B')]}, {'condition_action_pairs': [('a', 'C')]}]
Execution time: 0.03188204765319824 seconds
Satisfiabilty: True
Complexity Bound: 10
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'B')]}, {'condition_action_pairs': [('a', 'C')]}]
Execution time: 4.582643985748291 seconds
Satisfiabilty: True
Complexity Bound: 10
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'A')]}, {'condition_action_pairs': [('a', 'D')]}]
Execution time: 5.921651363372803 seconds
Satisfiabilty: True
Complexity Bound: 10
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'A')]}, {'condition_action_pairs': [('a', 'D')]}]
Execution time: 5.388491630554199 seconds
